download all originals or converted (max 1 GB)| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| gnushell.dvi | Device Independent File | 17 | 38.0 KB | 1995-11-25 |
| libcard.dvi | Device Independent File | 12 | 99.6 KB | 1995-11-25 |
| varcard.dvi | Device Independent File | 10 | 95.1 KB | 1995-11-25 |
| Name | Format | Size | Date |
|---|---|---|---|
| gcc_st.dvi | Unknown | 188.8 KB | 1995-11-25 |